Transformation of fractions into simple fractions in divisive meadows
نویسندگان
چکیده
منابع مشابه
Transformation of fractions into simple fractions in divisive meadows
Meadows are alternatives for fields with a purely equational axiomatization. At the basis of meadows lies the decision to make the multiplicative inverse operation total by imposing that the multiplicative inverse of zero is zero. Divisive meadows are meadows with the multiplicative inverse operation replaced by a division operation. Viewing a fraction as a term over the signature of divisive m...
متن کاملUniversality of Univariate Mixed Fractions in Divisive Meadows
Univariate fractions can be transformed to mixed fractions in the equational theory of meadows of characteristic zero.
متن کاملInversive meadows and divisive meadows
An inversive meadow is a commutative ring with identity and a total multiplicative inverse operation satisfying 0 = 0. Previously, inversive meadows were shortly called meadows. In this paper, we introduce divisive meadows, which are inversive meadows with the multiplicative inverse operation replaced by a division operation. We introduce a translation from the terms over the signature of divis...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Applied Logic
سال: 2016
ISSN: 1570-8683
DOI: 10.1016/j.jal.2016.03.001